#ifndef _FORMAL_CONTEXT_H_
#define _FORMAL_CONTEXT_H_

#include "OAPair.h"
#include <vector>

// local formal context
class FormalContext {
public:
    FormalContext() : processedNo(0) {}
	FormalContext(const FormalContext &);
    ~FormalContext();
    unsigned int processedNo;
    std::vector<OAPair> data;
};

#endif